<?php
/* $Id$ */

class SessionManager {


	function SessionManager( $mysql_class ) {

	}



}

?>